How to model contrary-to-duty with GCP-nets

Contrary-to-Duty Obligations

We investigate under what conditions contrary-to-duty (CTD) structures lacking temporal and action elements can be given a coherent reading. We argue, contrary to some recent proposals, that CTD is not an instance of defeasible reasoning, and that methods of nonmonotonic logics are inadequate since they are unable to distinguish between defeasibility and violation of primary obligations. We pro...

Normative Requirements and Contrary-to-Duty Obligations

The Equational Approach to Contrary-to-duty Obligations

We present in this talk different techniques for quickly answer graph problems where some of the nodes may be turn off. Typical graph problems are such as connectivity or distances between pair of nodes but not only. Emergency planing for such problems is achieved by pre-processing the graphs and by virtually preventing all possible subsequent node removals. To obtain efficient data structures,...

A Paraconsistent Logic for Contrary-to-Duty Imperatives

Contrart-to-duty imperatives are those which tell us what we ought to do if we violate some of our obligations. In this work, we give an inconsistencyfriendly framework for contrary-to-duty imperatives and introduce three semantics for it: static, dynamic and topological. The static semantics uses the standard modal paraconsistent approach whereas the dynamic semantics views violations as dynam...

Contrary to Duty Obligations A Study in Legal Ontology

In this paper the problems in deontic logic around contrary to duty obligations are used to conduct a study in basic normative ontology. Three causes of the problems around contrary to duty obligations are identified, that is 1) the attempt to analyze obligations in terms of what is ideally the case, 2) the application of deontic inheritance to the presuppositions of obligations, and 3) the fai...